/LMAR=0/XLINE=3/FONT#0=BASL30/FONT#1=BASI30/FONT#2=BASB30/FONT#4=NGB25/FONT#5=STA200
␈↓ ↓H␈↓␈↓¬S␈↓∧ Artificial Intelligence Laboratory, STANFORD UNIVERSITY, Stanford, California 94305


␈↓ ↓H␈↓∧Telephone 415-497-1391␈↓ 
¬March 31, 1975
␈↓ ↓H␈↓∧or  415-497-4971



␈↓ ↓H␈↓Public Relations Department
␈↓ ↓H␈↓Institut de Recherche d'Informatique
␈↓ ↓H␈↓Domaine de Volceau
␈↓ ↓H␈↓78150 Le Chesnay, France


␈↓ ↓H␈↓Dear Sirs,


␈↓ ↓H␈↓I␈αwas␈αhappy␈αto␈αhear␈αof␈αyour␈αacceptance␈αof␈αmy␈αpaper,␈α␈↓↓Synthesis␈αof␈αLarge␈αPrograms␈αFrom␈αSpeci≡c

␈↓ ↓H␈↓↓Dialogues␈↓, for the International Symposium on Proving and Improving Programs.


␈↓ ↓H␈↓Here␈α⊃at␈α⊃SAIL␈α⊃(Stanford␈α∩Arti≡cial␈α⊃Intelligence␈α⊃Laboratory)␈α⊃I␈α∩have␈α⊃access␈α⊃to␈α⊃an␈α∩XGP␈α⊃(Xerox

␈↓ ↓H␈↓Graphics␈αPrinter),␈αcapable␈αof␈αprinting␈αmy␈αpaper␈αwith␈αall␈αnecessary␈αfonts,␈αmargins,␈αline-≡llings,␈αetc.

␈↓ ↓H␈↓Since␈αmy␈αpaper␈αis␈αstored␈αas␈αa␈α≡le␈αon␈αour␈αsystem,␈αit␈αcan␈αbe␈αXGP'ed␈αdirectly.␈αI␈αfeel␈αthat␈αit␈αwould␈αbe

␈↓ ↓H␈↓a␈αgreat␈αwaste␈αof␈αhuman␈α
e≥ort␈αto␈αrequire␈αa␈αsecretary␈α(or␈α
myself)␈αto␈αtype␈αthe␈αpaper␈αonto␈α
the␈αforms

␈↓ ↓H␈↓you␈αsent␈α
me.␈αI␈α
␈↓↓can␈↓␈αcause␈α
the␈αXGP␈α
to␈αprint␈α
on␈αpaper␈α
of␈αthe␈α
same␈αheight␈α
as␈αyour␈α
forms,␈αthough␈α
the

␈↓ ↓H␈↓width␈αof␈αthe␈αXGP␈αpaper␈αis␈αlimited␈αto␈α22␈αcm.␈α I␈αtrust␈αthat␈αthis␈αwill␈αprove␈αacceptable␈αto␈αyou;␈αif␈αnot,

␈↓ ↓H␈↓please␈αlet␈αme␈αknow␈αimmediately,␈αso␈αI␈αmay␈αarrange␈αfor␈αthe␈αhand␈αtyping␈αof␈αthe␈αpaper.␈α Thank␈αyou

␈↓ ↓H␈↓for your consideration.


␈↓ ↓H␈↓␈↓ εSincerely,





␈↓ ↓H␈↓␈↓ ¬WDouglas B. Lenat